Implicit Ordering of Defaults in Inheritance Systems
نویسنده
چکیده
There is a natural partial ordering of defaults in inheritance systems that resolves ambiguities in an intuitive way. This is not the shortest-path ordering used by most existing inheritance reasoners. The flaws of the shortest-path ordering become apparent when we consider multiple inheritance. We define the correct partial ordering to use in inheritance and show how it applies to semantic network systems. Use of this ordering also simplifies the representation of inheritance in default logic.
منابع مشابه
Speci cation of Object Behaviour with Defaults
In this paper we present how to extend object speciication logic by defaults. Thus overridable rules may be used in speciications which deal not only with object states, but also with dynamic object behaviour like enabling / occurrence of actions and temporal evolution. Defaults are particularly useful to formalize implicit negation, the \minimal change" semantics of actions, inheritance betwee...
متن کاملInstantiation Semantics of Temporal Defaults
Defaults are useful in temporal logic, e.g. in order to formalize implicit negation, the “minimal change” frame rule, and inheritance with overriding. Temporal specification formalisms usually have such defaults built-in, but the on-going discussion about the right implicit assumptions suggests that these assumptions are application-dependent and should be explicitly specified by means of defau...
متن کاملModel-Preference Default Theories
Most formal theories of default inference have very poor computational properties, and are easily shown to be intractable, or worse, undecidable. We are therefore investigating limited but efficiently computable theories of default reasoning. This paper defines systems of Propositional Model-Preference Defaults, which provide a true modeltheoretic account of default inference with exceptions. T...
متن کاملHow to Prefer More Speci c Defaults
In a recent paper we have proposed terminological default logic as a formalism which combines both means for structured representation of classes and objects, and for default inheritance of properties. The major drawback which terminological default logic inherits from general default logic is that it does not take precedence of more speciic defaults over more general ones into account. This be...
متن کاملCausal Default Reasoning: Principles and Algorithms
The minimal model semantics is a natural interpretation of defaults yet it often yields a behavior that is too weak. This weakness has been traced to the inabiity of minimal models to reflect certain implicit preferences among defaults, in particular, preferences for defaults grounded on more ‘specific’ information and preferences arising in causal domains. Recently, ‘specificity’ preferences h...
متن کامل